1. Qui suis-je ?

/Users/bruel/dev/jmbhome/public/images/logo-irit.png

2. Plan

  • Introduction à SysML

  • Bilan et Etat actuel

  • Enjeux et retours industriels

  • Et ensuite?

3. Introduction à SysML

images/intro-sysml.png

4. C’est quoi SysML?

  • Date de naissance non officielle : 2001!

  • Première spécification adoptée à l’OMG : 19 septembre 2007

  • Version actuelle : 1.3 (12/06/2012)

  • Paternité : OMG/UML + INCOSE

  • Auteurs principaux :

    • Conrad Bock

    • Cris Kobryn

    • Sanford Friedenthal

5. SysML, c’est…

  • Un ensemble de 9 types de diagrammes :

    • Diagrammes structuraux

      • Diagrammes de définition de blocks (bdd)

      • Diagrammes internes de blocks (ibd)

      • Diagrammes paramétriques (par)

      • Diagrammes de packages (pkg)

6. SysML, c’est (suite)…

  • Diagrammes comportementaux

    • Diagrammes de séquence (seq)

    • Diagrammes d’activité (act)

    • Diagrammes de cas d’utilisation (uc)

    • Diagrammes d'états (st)

  • Diagramme d’exigence (req)

7. SysML, c’est (suite)…

  • Un profil UML, c’est à dire une extension de cette notation

  • Une notation de plus en plus enseignée et connue et qui servira donc de plus en plus de référence à la modélisation des systèmes

8. SysML, ce n’est pas…

  • Une méthode ou une démarche de développement de système

  • Un outil

  • Un remplaçant aux outils et langages existants

9. Pourquoi une nouvelle notation ?

Il existe une notation qui se veut "unifiée" pour les modèles : UML. Néanmoins cette notation est peu adaptée pour l’Ingénierie Systèmeindexterm:[IS] :

  • UML 1.x était complètement inadaptée :

    • Principalement pour les systèmes d’information

    • Peu de liens entre les diagrammes

    • Peu de liens entre les modèles et les exigences

10. Pourquoi une nouvelle notation ?

  • UML 2.x n’est pas beaucoup mieux si ce n’est :

    • Implication des ingénieurs systèmes pour sa définition

    • Introduction du diagramme de structure composite

11. Pourquoi une nouvelle notation ?

En conclusion UML est une bonne base :

  • Standard De facto en génie logiciel

  • Fournit beaucoup de concepts utiles pour décrire des systèmes (même complexes)

  • Stable et extensible (grâce notamment au mécanisme de profile)

  • Beaucoup d’outils disponibles

12. Pourquoi une nouvelle notation ?

Mais…

  • Manque de certains concepts clés d’Ingénierie Systèmeindexterm:[IS]

  • Vocabulaire beaucoup trop « software » pour être utilisé par les ingénieurs systèmes (concept de classe ou d'héritage par exemple)

  • Trop de diagrammes (13 sortes)

13. Introduction à SysML

  • Différence avec UML

  • Qui est derrière

  • Hiérarchie de diagrammes

  • Outils SysML

  • Principes de bases

  • Diagrammes clés

14. Différence avec UML

images/diff.png

15. Qui est "derrière"?

Industrie

American Systems, BAE Systems, Boeing, Deere & Company, EADS Astrium, Eurostep, Israel Aircraft Industries, Lockheed Martin, Motorola, NIST, Northrop Grumman, oose.de, Raytheon, Thales, …

Vendeurs d’outils

Artisan, EmbeddedPlus, Gentleware, IBM, Mentor Graphics, PivotPoint Technology, Sparx Systems, Vitech, …

Autres organisations

AP-233, INCOSE, Georgia Institute of Technology, AFIS, …

16. Différents diagrammes

Les 9 diagrammes SysML

images/Figure4.1.png

17. Outils SysML

Voici une liste non exhaustive :

18. Principes de base

  • Chaque diagramme SysML représente un élément de modélisation

  • Chaque diagramme SysML doit être incluse dans un cadre (Diagram Frame)

  • L’entête du cadre, appelé cartouche, indique les informations sur le diagramme:

    • le type de diagramme (req, act, bdd, ibd, sd, etc.)

    • le type d'élément (package, block, activity, etc.)

    • le nom de l'élément

    • le nom du diagramme ou de la vue

19. Principes de base (suite)

Dans l’exemple ci-dessous, le diagramme Context_Overview est un Block Definition Diagram (type bdd) qui représente un package, nommé Context.

images/pacemaker-context.png

20. Le Package Diagram

  • Identique à UML, et classique pour les développeurs (java notamment)

  • Permet d'organiser les modèles en créant un espace de nommage (name space)

21. Les organisations possibles

Les modèles peuvent être organisés selon toutes sortes de considération :

  • par hiérarchie "système" (e.g., entreprise, système, composant, …)

  • par types de diagrammes (e.g., besoins, structure, comportements, …)

  • par cycle de vie (e.g., analyse, conception, …)

  • par équipes (e.g., architectes, [IPT], …)

  • par points de vue (e.g., sécurité, performance, …)

  • etc.

22. Exemples d’organisations

images/pkg-organisation2.png

23. Exemples d’organisations

images/pkg-topcased.png

24. Requirements diagram

Comme pour les packages, plusieurs types d’organisations sont possibles :

  • Par niveau d’abstraction

  • Par point de vue

  • etc.

25. Lien avec les exigences

images/req-table.png

26. Lien avec les exigences (suite)

Exemple de Modelio

images/req-modelio.png

images/req-exp1.png

images/topcased-req-connections.png

29. Exemples

images/hsuv-reqs1.png

30. Exemples (suite)

images/hsuv-reqs2.png

31. Aspects structurels

Pour l’organisation du système, on trouve le plus souvent :

  • un diagramme décrivant le contexte, décrit dans un block definition diagram

  • un diagramme décrivant les éléments internes principaux du système, décrit dans des internal block definition

32. Block Definition Diagrams

Un diagramme de block décrit les relations entre les blocks (composition, généralisations, …).

images/pacemaker-context.png

33. Block Definition Diagrams

images/bdd.png

34. Internal Block Diagrams

Un ibd décrit la structure interne d’un bloc sous forme de :

parts

Les parties qui constituent le système (ses sous-systèmes)

ports

Elément d’interaction avec un block

connecteurs

Liens entre ports

35. Internal Block Diagrams (suite)

images/parts.png

36. Internal Block Diagrams (suite)

images/parts2.png

37. Les ports

  • préservent l’encapsulation du block

  • matérialise le fait que les interactions avec l’extérieur (via un port) sont transmise à une partie (via un connecteur)

  • les ports connectés doivent correspondre (kind, type, direction, etc.)

images/ports-flots.png

38. Les ports (suite)

images/flots.png

39. Contraintes

C’est un block particulier

images/constraints.png

40. Parametric Diagrams

C’est une forme particulière de Internal Block Definition

images/param.png

41. Autres diagrammes

Sont quasiment similaires à UML :

  • diagramme des UC

  • diagramme de séquence

  • diagramme d’activité

  • diagrammes d'état

42. Liens entre éléments de modélisation

images/req-uc-relation.png

43. Liens entre éléments de modélisation

images/traceability.png

44. Bilan et Etat actuel

images/bilan.jpg

Note

On y voit les 2 dernières journées SysML (Toulouse et Mulhouse).

48. Effet SysML-France?

49. Survey OMG

Quelques diagrammes tirés d’une étude OMG sur SysML en 2009

50. Survey OMG (suite)

51. Survey OMG (suite)

52. Survey OMG (suite)

53. Etat actuel

  • Adoption de plus en plus large

    • Nombreuses industries

    • Militaires

  • Enseigné massivement

    • dans le cycle ingénieur (N7, ISAE, Masters)

    • au bac STI2D depuis 2011

    • en prépa dès 2013

54. Enjeux et retours industriels

images/enjeux.png

55. Enjeux

  • Architecture d’entreprise

    • Grands groupes (DODAF/MODAF)

    • Armée (Systems of Systems)

  • Ingénieurs métiers (Maths, Physique, etc.)

    • Couplages MATLAB, Harmony Process

    • SysML+Modelica

    • SysML+Simulink

  • RT&E

    • SysML+SystemC

    • SysML+VHDL

    • SysML / MARTE

56. Domaines principaux

  • DSL

    • AUTOSAR, EAST-‐ADL (Automobile)

    • Aéronautique

    • Transports & Automotive

    • Médical (certification aussi!)

    • Systems on Chips

  • Animation de modèles

    • ALF

    • IFx-Omega

    • AVATAR

57. Exemple : SysML4Modelica

  • Standard OMG

images/modelica-exp.png

58. SysML4Modelica chez Thales

Tiré de la dernière journée SysML Laurent Rioux

images/modelica.png

59. SysML4Modelica chez Thales

Tiré de la dernière journée SysML Laurent Rioux

images/modelica2.png

60. Et ensuite?

images/ensuite.jpeg

61. Du document-centric au model-centric

  • Progrès de l’IDM

    • Outils pour créer des DSL (succès de Xtext par exemple)

    • Outils de transformation de modèles

  • Déjà utilisé dans certains organismes de certification

    • Alstom dans le ferroviaire par exemple

62. Projets et initiatives

  • POLARSYS

  • VeriFME

  • COSINUS

  • SAFE

  • OverSoC

  • HELP

  • SecReSoC

  • ID4CS

  • HECOSIM

  • MOPCOM

  • SoCLib

  • IMOFIS (Obeo Alstom)

63. Quelques retours industriels

Airbus

Génération de documentations destinés à la certification (Y. Bernard)

Alstom Transport

SysML en mécanique (A. Gomas), Safety Analysis (E. Soubiran)

Astrium

SysML et le spatial (D. Lesens)

Cassidian

Terminaux de Radio-communication (F. Risy)

CNES

"Personnalisation" de SysML (E. Poupard)

64. Retours industriels (suite)

Continental Mexique

Modélisation équipements automobiles (J.-M. Bruel)

EADS

Introduction globale et progressive (C. Marchal)

Nexter Electronics

Génération de modèles SysML à partir de documents (E. Panier)

Rockwell Collins

Safety Assesment (L. Audounet)

65. Tendances

  • Intégration des outils de simulations

    • Génération de jeux de test

    • Annotations (parametric diagrams)

    • Animation de modèles

  • Utilisation de SysML comme lingua franca de l’IS

    • Langage pivot

    • Langage de glue

  • Animations

    • SysML-France

    • Comité Technique MBSE de l’AFIS

    • Bureau Veritas

66. Défis

Culturel

Difficulté d’adaptation aux ingénieurs métiers

SysML

masqué (pivot) ou montré (glue)

Outils

Libres mais industriels (Polarsys)

Formation

Ingénieurs logiciels / Ingénieurs système

67. SysML-France

Association loi 1901

68. Journées SysML

  • 1ère Journée SysML-France

    • novembre 2009

    • LAAS, Toulouse

  • 2ème Journée SysML-France

    • décembre 2010

    • Télécom ParisTech, Paris

69. Journées SysML (suite)

  • 3ème Journée SysML-France / CISEC

    • décembre 2011

    • IRIT, Toulouse

  • 4ème Journée SysML-France

    • novembre 2012

    • ENSISA, Mulhouse

  • 5ème Journée SysML-France

    • 2013

    • ??

70. Upcoming…

  • Livre SysML/AADL/MARTE

    • début 2013

    • Français (et traduction anglaise prévue)

    • Hermès

  • Journée IDM et Modèles scientifiques

    • CNRS/INRA/SysML-France

    • 18 octobre 2013

  • Numéros spécial de la revue Springer SoSyM

    • Retours d’expérience industriels

71. About…

images/flyer.png

72. Merci de votre attention

images/questions.jpg